$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$